Uniqueness in Harper’s vertex-isoperimetric theorem

For a set $A\subseteq Q_n={\left\{0,1\right\}}^n$ the $t$-neighbourhood of $A$ is $N^t\left(A\right)=\left\{x:d\left(x,A\right)\le t\right\}$, where $d$ denotes the usual graph distance on $Q_n$. Harper’s vertex-isoperimetric theorem states that among the subsets $A\subseteq Q_n$ of given size, the size of the $t$-neighbourhood is minimised when $A$ is taken to be an initial segment of the simplicial order. Aubrun and Szarek asked the following question: if $A\subseteq Q_n$ is a subset of given size for which the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are minimal for all $t>0$, does it follow that $A$ is isomorphic to an initial segment of the simplicial order?Our aim is to give a counterexample. Surprisingly it turns out that there is no counterexample that is a Hamming ball, meaning a set that lies between two consecutive exact Hamming balls, i.e. a set $A$ with $B\left(x,r\right)\subseteq A\subseteq B\left(x,r+1\right)$ for some $x\in Q_n$. We go further to classify all the sets $A\subseteq Q_n$ for which the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are minimal for all $t>0$ among the subsets of $Q_n$ of given size. We also prove that, perhaps surprisingly, if $A\subseteq Q_n$ for which the sizes of $N\left(A\right)$ and $N\left(A^c\right)$ are minimal among the subsets of $Q_n$ of given size, then the sizes of both $N^t\left(A\right)$ and $N^t\left(A^c\right)$ are also minimal for all $t>0$ among the subsets of $Q_n$ of given size. Hence the same classification also holds when we only require $N\left(A\right)$ and $N\left(A^c\right)$ to have minimal size among the subsets $A\subseteq Q_n$ of given size.     

A Weighted Trudinger–Moser Inequality on R^N and Its Application to Grushin Operator

Let x=(x',x')with x'∈Rk and x'∈R^N-k andΩbe a x'-symmetric and bounded domain in R^N(N≥2).We show that if 0≤a≤k-2,then there exists a positive constant C>0 such that for all x'-symmetric function u∈C0^∞(Ω)with∫Ω|■u(x)|^N-a|x'|^-adx≤1,the following uniform inequality holds1/∫Ω|x|^-adx∫Ωe^βa|u|N-a/N-a-1|x'|^-adx≤C,whereβa=(N-a)(2πN/2Γ(k-a/2)Γ(k/2)/Γ(k/2)r(N-a/2))1/N-a-1.Furthermore,βa can not be replaced by any greater number.As the application,we obtain some weighted Trudinger–Moser inequalities for x-symmetric function on Grushin space.     

Analysis of a micro–macro acceleration method with minimum relative entropy moment matching

We analyse convergence of a micro–macro acceleration method for the simulation of stochastic differential equations with time-scale separation. The method alternates short bursts of path simulations with the extrapolation of macroscopic state variables forward in time. After extrapolation, a new microscopic state is constructed, consistent with the extrapolated macroscopic state, that minimises the perturbation caused by the extrapolation in a relative entropy sense. We study local errors and numerical stability of the method to prove its convergence to the full microscopic dynamics when the extrapolation time step tends to zero and the number of macroscopic state variables tends to infinity.     

A Hardy–Trudinger–Moser Inequality Involving LpNorm in the Hyperbolic Space

Let B be the unit disc in R~2, H be the completion of C_0∞(B) under the norm■ .By the method of blow-up analysis and an argument of rearrangement with respect to the standard hyperbolic metric ■, we prove that, for any fixed■ ,the supremum■ .This is an analog of early results of Lu–Yang(Discrete Contin. Dyn. Syst., 2009) and Yang(Trans.Amer. Math. Soc., 2007), and extends those of Wang–Ye(Adv. Math., 2012) and Yang–Zhu(Ann.Global Anal. Geom., 2016).     

Sharper uncertainty principles associated with Lp-norm

Motivated by the well-established phase derivative embedded technique, this study devotes to sharper uncertainty principles related to the L^p-norm type of uncertainty product, giving rise to two kinds of uncertainty inequalities that improve the classical result through providing tighter lower bounds. The conditions that truly reach these better estimates are obtained. Examples and simulations are carried out to verify the correctness of the derived results, and finally, possible applications in time-frequency analysis are also given.     

Properties of bounded stochastic processes employed in biophysics

Abstract

Realistic stochastic modeling is increasingly requiring the use of bounded noises. In this work, properties and relationships of commonly employed bounded stochastic processes are investigated within a solid mathematical ground. Four families are object of investigation: the Sine-Wiener (SW), the Doering–Cai–Lin (DCL), the Tsallis–Stariolo–Borland (TSB), and the Kessler–Sørensen (KS) families. We address mathematical questions on existence and uniqueness of the processes defined through Stochastic Differential Equations, which often conceal non-obvious behavior, and we explore the behavior of the solutions near the boundaries of the state space. The expression of the time-dependent probability density of the Sine-Wiener noise is provided in closed form, and a close connection with the Doering–Cai–Lin noise is shown. Further relationships among the different families are explored, pathwise and in distribution. Finally, we illustrate an analogy between the Kessler–Sørensen family and Bessel processes, which allows to relate the respective local times at the boundaries.